Countable decompositions ofEn
نویسندگان
چکیده
منابع مشابه
Countable Ordinals
This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.
متن کاملThe number of countable models of a countable supersimple theory
In this paper, we prove the number of countable models of a countable supersimple theory is either 1 or infinite. This result is an extension of Lachlan’s theorem on a superstable theory.
متن کاملOn nowhere first-countable compact spaces with countable π-weight
The minimum weight of a nowhere first-countable compact space of countable π-weight is shown to be κB, the least cardinal κ for which the real line R can be covered by κ many nowhere dense sets.
متن کاملFinding Branch-Decompositions and Rank-Decompositions
We present a new algorithm that can output the rank-decomposition of width at most k of a graph if such exists. For that we use an algorithm that, for an input matroid represented over a fixed finite field, outputs its branch-decomposition of width at most k if such exists. This algorithm works also for partitioned matroids. Both these algorithms are fixed-parameter tractable, that is, they run...
متن کاملCountable Choice and Compactness
We work in set-theory without choice ZF. Denoting by AC(N) the countable axiom of choice, we show in ZF+AC(N) that the closed unit ball of a uniformly convex Banach space is compact in the convex topology (an alternative to the weak topology in ZF). We prove that this ball is (closely) convex-compact in the convex topology. Given a set I, a real number p ≥ 1 (resp. p = 0), and some closed subse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1982
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1982.103.603